Synthesis of PTL-nets with Partially Localised Conflicts
نویسندگان
چکیده
We discuss the problem of constructing PT-nets with localities (PTL-nets) from transition systems with arcs labelled by multisets of transitions (steps). We first outline how this can be done within the existing general solution based on the regions of step transition systems and fixed co-location relations. We then drop the latter assumption and show that this does not really matter when one aims at synthesising PTL-nets where all conflicts involve conflicts between co-located transitions. © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details KOUTNY. M., PIETKIEWICZ-KOUTNY, M. Synthesis of PTL-nets with Partially Localised Conflicts [By] M. Koutny, M. Pietkiewicz-Koutny. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2009. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-1142)
منابع مشابه
Synthesis of Petri Nets with Localities
Automated synthesis from behavioural specifications is an attractive way of constructing computational systems. In this paper, we look at a specific instance of this approach which aims at constructing GALS (globally asynchronous locally synchronous) systems. GALS systems are represented by Petri nets with localities, each locality defining a set of co-located actions, and specifications are gi...
متن کاملClosed Sets in Occurrence Nets with Conflicts
The semantics of concurrent processes can be defined in terms of partially ordered sets. Occurrence nets, which belong to the family of Petri nets, model concurrent processes as partially ordered sets of occurrences of local states and local events. On the basis of the associated concurrency relation, a closure operator can be defined, giving rise to a lattice of closed sets. Extending previous...
متن کاملArea-oriented synthesis for pass-transistor logic
Pass Transistor Logic (PTL) circuits have been successfully used to implement digital ICs which are smaller, faster, and more energy efficient that static CMOS implementations of the same designs. Thus far, most PTL implementations have been handcrafted; as such, designer acceptance of PTL has been limited. In this paper, we develop efficient algorithms for automated synthesis of high quality P...
متن کاملPTL-1 regulates neuronal integrity and lifespan in C. elegans.
Protein with tau-like repeats (PTL-1) is the sole Caenorhabditis elegans homolog of tau and MAP2, which are members of the mammalian family of microtubule-associated proteins (MAPs). In mammalian neurons, tau and MAP2 are segregated, with tau being mainly localised to the axon and MAP2 mainly to the dendrite. In particular, tau plays a crucial role in pathology, as elevated levels lead to the f...
متن کاملLocalised to intraligand charge-transfer states in cyclometalated platinum complexes: an experimental and theoretical study into the influence of electron-rich pendants and modulation of excited states by ion binding.
The neopentyl ester of 1,3-di(2-pyridyl)benzene-5-boronic acid (dpy-B) is a useful intermediate in the divergent synthesis of N;C;N-coordinating, 1,3-di(2-pyridyl)benzene ligands, HL(n), that carry aryl substituents at the 5-position of the central ring. The platinum(ii) complexes, PtL(n)Cl, of several such ligands have been prepared, incorporating pendant anisoles, arylamines, an oxacrown, and...
متن کامل